Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
301	Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press, 2008 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2009-01-24 01:34:38 Model theory Satisfiability Modulo Theories Interpretation Boolean satisfiability problem Well-formed formula Structure Uninterpreted function Theory Signature Logic Mathematical logic Mathematics
302	S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect) Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2007-02-18 15:26:16 Mathematics Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Mathematical optimization Program optimization Satisfiability Modulo Theories Theoretical computer science Applied mathematics Formal methods
303	Binary vs. Non-Binary Constraints Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 12:40:52 Computer programming Constraint satisfaction problem Local consistency Hidden transformation Constraint satisfaction Constraint graph Boolean satisfiability problem Hidden variable Backtracking Constraint programming Software engineering Theoretical computer science
304	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic
305	PDF Document Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2001-03-30 15:59:53 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem GRASP Unit propagation Resolution Theoretical computer science Mathematics Mathematical logic
306	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics
307	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
308	PDF Document Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Operations research Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Maximum satisfiability problem ZYpp Solver Theoretical computer science Applied mathematics Mathematics
309	PDF Document Add to Reading List Source URL: www-imai.is.s.u-tokyo.ac.jp Language: English - Date: 2003-05-03 02:39:28 Complexity classes Mathematical optimization NP-complete Boolean satisfiability problem NP IP MAX-3SAT Cook–Levin theorem Theoretical computer science Computational complexity theory Applied mathematics
310	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-05-24 22:16:31 Complexity classes NP-complete P versus NP problem NP-hard NP Boolean satisfiability problem P Bounded-error probabilistic polynomial NEXPTIME Theoretical computer science Computational complexity theory Applied mathematics

UPDATE